Reprochant l'extrême longueur de la démonstration de classification des groupes simples finis, des travaux, dits ? révisionnistes ?, conduits à l'origine par Daniel Gorenstein, ont recherché une démonstration plus simple. 因為有限簡單群分類的證明真的實在是太長了,所以有許多被稱做「修正」的工作,原本由丹尼爾·葛侖斯坦所領(lǐng)導(dǎo),在找尋著一個更簡單的證明。